ts-09 关键词、编译上下文

一、typescript常用关键词

typeof

typeof操作符可以用来获取一个变量声明或对象的类型

interface Person {
    name: string,
    age: number
}
const sem: Person = {
    name: 'hhh',age: 20
}
// 声明一个别名直接指向sem对象，最终Sem的类型同sem相同，也是Person
type Sem = typeof sem;

// 函数
function toArray(x: number): Array<number> {
    return [x]
}
type Func = typeof toArray;

对于对象执行相同的作用

const kakuqo = {
    name: "kakuqo",
    address: {
      province: '北京',
    }
}

type Kakuqo = typeof kakuqo;
/*
 type Kakuqo = {
    name: string;
    address: {
        city: string;
    };
}
*/

const

const是3.4引入的一种新的字面量构造方式，也称为const断言，有以下特性

• 表达式中的任何字面量类型都不应该被扩展
• 对象字面量的属性，将使用readonly修饰；
• 数组字面量将变成readonly元组

let x = 'hello' as const;
type X = typeof x; // type X = 'hello'

let y = [10, 20] as const;
type Y = typeof y; // type Y = readonly [10, 20]

let z = {text: 'hello'} as const;
type Z = typeof z; // let z: {readonly text: 'hello'}

通过typeof操作符获取元组中元素值的联合类型

type Data = typeof y[number];

获取引用类型的数组；

const locales = [
    {locale: 'zh-CN',language: '中文'},
    {locale: 'en', language: 'Englist'}
] as const;
type Locale = typeof locales[number]['locale'] // type Locale = 'zh-CN' | 'en

keyof

keyof操作符可以用来获取一个对象中的所有key值

interface Person {
    name: string;
    age: number;
}
type K1 = keyof Person; // 'name' | 'age'
type K2 = keyof Person[] // "length" | "toString" | "pop" | "push" | "concat" | "join" 
type K3 = keyof {[x: string]: Person}; // string | number

keyof结合typeof使用

const COLORS = {
  red: 'red',
  blue: 'blue'
}

type C = keyof typeof COLORS // type C = 'red' | 'blue'

in

in用来遍历枚举类型

type Keys = 'a' | 'b' | 'c'
type Obj = {
    [p in keys]: any;
} // {a: any, b: any, c: any}

infer

在条件类型语句中，可以用infer声明一个类型变量并且对它进行使用

type ReturnType<T> = T extends (
	...args: any[]
) => infer R ? R : any;

以上代码中 infer R 就是声明一个变量来承载传入函数签名的返回值类型，简单说就是用它取到函数返回值的类型方便之后使用。

extends

有时候我们定义的泛型不想过于灵活或者说想继承某些类等，可以通过extends关键字添加泛型约束

interface ILengthwise {
    length: number;
}
function loggingIdentity<T extends Ilengthwise>(arg: T): T {
    console.log(arg.length);
    return arg
}

这时loggingIdentity被约束了类型

loggingIdentity(3);  // Error, number doesn't have a .length property
loggingIdentity({length: 10, value: 3});

二、编译上下文

tsconfig.json的作用

• 用于标识Typescript项目的根路径；
• 用于配置Typescript编译器；
• 用于指定编译的文件

tsconfig.json重要字段

• files 设置要编译的文件的名称
• include 设置需要进行编译的文件，支持路径模式匹配；
• exclude 设置无需进行编译的文件，支持路径模式匹配；
• compilerOptions 设置与编译流程相关的选项

compilerOptions选项

compilerOptions 支持很多选项，常见的有 baseUrl、 target、baseUrl、 moduleResolution 和 lib 等。

{
  "compilerOptions": {

    /* 基本选项 */
    "target": "es5",                       // 指定 ECMAScript 目标版本: 'ES3' (default), 'ES5', 'ES6'/'ES2015', 'ES2016', 'ES2017', or 'ESNEXT'
    "module": "commonjs",                  // 指定使用模块: 'commonjs', 'amd', 'system', 'umd' or 'es2015'
    "lib": [],                             // 指定要包含在编译中的库文件
    "allowJs": true,                       // 允许编译 javascript 文件
    "checkJs": true,                       // 报告 javascript 文件中的错误
    "jsx": "preserve",                     // 指定 jsx 代码的生成: 'preserve', 'react-native', or 'react'
    "declaration": true,                   // 生成相应的 '.d.ts' 文件
    "sourceMap": true,                     // 生成相应的 '.map' 文件
    "outFile": "./",                       // 将输出文件合并为一个文件
    "outDir": "./",                        // 指定输出目录
    "rootDir": "./",                       // 用来控制输出目录结构 --outDir.
    "removeComments": true,                // 删除编译后的所有的注释
    "noEmit": true,                        // 不生成输出文件
    "importHelpers": true,                 // 从 tslib 导入辅助工具函数
    "isolatedModules": true,               // 将每个文件做为单独的模块 （与 'ts.transpileModule' 类似）.

    /* 严格的类型检查选项 */
    "strict": true,                        // 启用所有严格类型检查选项
    "noImplicitAny": true,                 // 在表达式和声明上有隐含的 any类型时报错
    "strictNullChecks": true,              // 启用严格的 null 检查
    "noImplicitThis": true,                // 当 this 表达式值为 any 类型的时候，生成一个错误
    "alwaysStrict": true,                  // 以严格模式检查每个模块，并在每个文件里加入 'use strict'

    /* 额外的检查 */
    "noUnusedLocals": true,                // 有未使用的变量时，抛出错误
    "noUnusedParameters": true,            // 有未使用的参数时，抛出错误
    "noImplicitReturns": true,             // 并不是所有函数里的代码都有返回值时，抛出错误
    "noFallthroughCasesInSwitch": true,    // 报告 switch 语句的 fallthrough 错误。（即，不允许 switch 的 case 语句贯穿）

    /* 模块解析选项 */
    "moduleResolution": "node",            // 选择模块解析策略： 'node' (Node.js) or 'classic' (TypeScript pre-1.6)
    "baseUrl": "./",                       // 用于解析非相对模块名称的基目录
    "paths": {},                           // 模块名到基于 baseUrl 的路径映射的列表
    "rootDirs": [],                        // 根文件夹列表，其组合内容表示项目运行时的结构内容
    "typeRoots": [],                       // 包含类型声明的文件列表
    "types": [],                           // 需要包含的类型声明文件名列表
    "allowSyntheticDefaultImports": true,  // 允许从没有设置默认导出的模块中默认导入。

    /* Source Map Options */
    "sourceRoot": "./",                    // 指定调试器应该找到 TypeScript 文件而不是源文件的位置
    "mapRoot": "./",                       // 指定调试器应该找到映射文件而不是生成文件的位置
    "inlineSourceMap": true,               // 生成单个 soucemaps 文件，而不是将 sourcemaps 生成不同的文件
    "inlineSources": true,                 // 将代码与 sourcemaps 生成到一个文件中，要求同时设置了 --inlineSourceMap 或 --sourceMap 属性

    /* 其他选项 */
    "experimentalDecorators": true,        // 启用装饰器
    "emitDecoratorMetadata": true          // 为装饰器提供元数据的支持
  }
}